COMMENT ⊗   VALID 00025 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	.app External Publications
C00005 00003	Agin, Gerald J., Thomas O. Binford, "Computer Description of
C00007 00004	Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
C00013 00005	Cartwright, Robert S., Derek C. Oppen,
C00019 00006	Dershowitz, Nachum, Zohar Manna, "On Automating Structural Programming",
C00021 00007	Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
C00022 00008	Faught, William S., "Affect as Motivation for Cognitive and Conative
C00024 00009	Gennery, Don "A Stereo Vision System for an Autonomous Vehicle",
C00028 00010	Harvey, Brian, "Increasing Programmer Power at Stanford with Display
C00033 00011	Igarashi, S., R. L. London, D. C. Luckham, "Automatic Program Verification I:
C00034 00012	Kant, Elaine, "The Selection of Efficient Implementations for a High-level Language",
C00037 00013	Lenat, Douglas B., "BEINGS: Knowledge as Interacting Experts",
C00041 00014	Manna, Zohar, "Program Schemas", in <Currents in the Theory of
C00051 00015	Nelson, C. G., Oppen, D. C.,
C00053 00016	Oppen, Derek, S.A. Cook, "Proving Assertions about Programs that Manipulate
C00055 00017	Phillips, Jorge, T. H. Bredt, "Design and Verification of Real-time Systems",
C00057 00018	Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
C00058 00019	Rubin, Jeff, "Computer Communication via the Dial-up Network",
C00060 00020	Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, R. French, P. Gierasch,
C00071 00021	Tesler, Lawrence G., Horace J. Enea, David C. Smith, "The
C00072 00022	Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross, "Variable
C00073 00023	Wilks, Yorick, "The Stanford Machine Translation and Understanding
C00078 00024	Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
C00079 00025	.end "pubs"
C00080 ENDMK
C⊗;
.app External Publications
     
Articles and books by project members that have appeared since July 1973
are listed here alphabetically by lead author.  Earlier publications are
given in our ten-year report [Memo AIM-228] and in diskfile PUBS.OLD [BIB,DOC]
@SU-AI.  The list below is kept in PUBS [BIB,DOC] @SU-AI.

.begin "pubs" ib;
.COUNT exref TO 200
.AT "⊗" ⊂ IF LINES<3 THEN NEXT COLUMN; NEXT EXREF; (EXREF&".  ") ⊃
.indent 0,3; nojust
⊗Agin, Gerald J., Thomas O. Binford, "Computer Description of
Curved Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Agin, G.J., T.O. Binford; "Representation and Description
of Curved Objects", <IEEE Transactions on Computers,> Vol C-25, 440,
April 1976.

⊗Aiello, Mario, Richard Weyhrauch, "Checking Proofs in the Metamathematics
of First Order Logic", <Adv. Papers of 4th Int. Joint Conference on
Artificial Intelligence,> Vol. 1, pp. 1-8, September 1975.

⊗Arnold, R.D., "Local Context in Matching Edges for Stereo
Vision", <Proc. Image Understanding Workshop,> Boston, May 1978.

⊗Ashcroft, Edward, Zohar Manna, Amir Pnueli, "Decidable Properties
of Monodic Functional Schemas", <J. ACM>, Vol. 20, No. 3, pp. 489-499, July 1973.

⊗Ashcroft, Edward, Zohar Manna, "Translating Program Schemas to While-schemas",
<SIAM Journal on Computing>, Vol. 4, No. 2, pp. 125-146, June 1975.

⊗Bajcsy, Ruzena, "Computer Description of Textured Scenes", <Proc.
Third Int. Joint Conf. on Artificial Intelligence>, Stanford U.,
1973.

⊗Barstow, David, Elaine Kant, "Observations on the Ineraction between Coding
and Efficiency Knowledge in the PSI Program Synthesis System",
<Proc. 2nd Int. Conf. on Software Engineering>,
IEEE Computer Society, Long Beach, California, October 1976.

⊗Barstow, David, "A Knowledge-Based System for Automatic Program Construction",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Biermann, A. W., R.I. Baum, F.E. Petry, "Speeding Up the Synthesis of
Programs from Traces", <IEEE Trans. Computers,> February 1975.

⊗Bobrow, Daniel, Terry Winograd, "An Overview of KRL, a Knowledge Representation
Language", <J. Cognitive Science>, Vol. 1, No. 1, 1977.

⊗Bobrow, Dan, Terry Winograd, & KRL Research Group, "Experience with
KRL-0: One Cycle of a Knowledge Representation Language", <Proc. Int.
Joint Conf. on A.I.>, August 1977.

⊗Bolles, Robert C. "Verification Vision for Programmable Assembly",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Brooks, R., R. Greiner, and T.O. Binford,
"A Model-Based Vision System"; <Proc. Image Understanding
Workshop>, Boston, May 1978.

⊗Cartwright, Robert S., Derek C. Oppen,
"Unrestricted Procedure Calls in Hoare's Logic",
<Proc. Fifth ACM Symposium on Principles of Programming
Languages>, January 1978.

⊗Chandra, Ashok, Zohar Manna, "On the Power of Programming Features",
<Computer Languages>, Vol. 1, No. 3, pp. 219-232, September 1975.

⊗Chowning, John M., "The Synthesis of Complex Audio Spectra by means
of Frequency Modulation", <J. Audio Engineering Society>, September
1973.

⊗Clark, Douglas, and Green, C. Cordell, "An Empirical Study of List
Structure in LISP", <Communications of the ACM>, Volume 20, Number 2,
February 1977.

⊗Colby, Kenneth M., <Artificial Paranoia: A Computer Simulation of
the Paranoid Mode>, Pergamon Press, N.Y., 1974.

⊗Colby, K.M. and Parkison, R.C. "Pattern-matching rules for the Recognition of
Natural Language Dialogue Expressions", <American Journal of Computational
Linguistics>, 1, September 1974.

⊗Dershowitz, Nachum, Zohar Manna, "On Automating Structural Programming",
<Colloques IRIA on Proving and Improving Programs>, Arc-et-Senans, France,
pp. 167-193, July 1975.

⊗Dershowitz, Nachum, Zohar Manna, "The Evolution of Programs: a system for automatic
program modification", <IEEE Trans. Software Eng.,> Vol. 3, No. 5, pp. 377-385,
November 1977.

⊗Dershowitz, Nachum, Zohar Manna, "Inference Rules for Program Annotation",
<Proc. 3rd Int. Conf. on Software Engineering,> Atlanta, Ga., pp. 158-167, May 1978.

⊗Dobrotin, Boris M., Victor D. Scheinman, "Design of a Computer
Controlled Manipulator for Robot Research", <Proc. Third Int. Joint
Conf. on Artificial Intelligence>, Stanford U., 1973.

⊗Enea, Horace, Kenneth Mark Colby, "Idiolectic Language-Analysis
for Understanding Doctor-Patient Dialogues", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Faught, William S., "Affect as Motivation for Cognitive and Conative
Processes", <Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 2, pp. 893-899, September 1975.

⊗Feldman, Jerome A., James R. Low, "Comment on Brent's Scatter
Storage Algorithm", <Comm. ACM>, November 1973.

⊗Feldman, Jerome A., Yoram Yakimovsky, "Decision Theory and Artificial
Intelligence:  I A Semantics-based Region Analyzer", <Artificial Intelligence
J.>, Vol. 5, No. 4, Winter 1974.

⊗Finkel, Raphael, Russell Taylor, Robert Bolles,  Richard Paul, Jerome Feldman,
"An Overview of AL, a Programming System for Automation",
<Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 2, pp. 758-765, September 1975.

⊗Floyd, Robert, Louis Steinberg, "An Adaptive Algorithm for Spatial
Greyscale", <Proc. Society for Information Display>,
Volume 17, Number 2, pp. 75-77, Second Quarter 1976.

⊗Fuller, Samuel H., Forest Baskett, "An Analysis of Drum Storage Units",
<J. ACM>, Vol. 22, No. 1, January 1975.

⊗Funt, Brian, "WHISPER: A Problem-solving System utilizing Diagrams and a
Parallel Processing Retina", <Proc. Int. Joint Conf. on A.I.>, August
1977.

⊗Gennery, Don "A Stereo Vision System for an Autonomous Vehicle",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Gennery, D.B., "A Stereo Vision System for Autonomous
Vehicles", <Proc. Image Understanding Workshop,> Palo Alto,
Oct 1977.

⊗German, Steven, "Automating Proofs of the Absence of Common Runtime Errors",
<Proc. Fifth ACM Symposium on Principles of Programming
Languages>, January 1978.

⊗Goldman, Neil M., "Sentence Paraphrasing from a Conceptual Base", <Comm. ACM,>
February 1975.

⊗Goldman, Ron, "Recent Work with the AL System",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Green, Cordell, David Barstow, "Some Rules for the Automatic Synthesis of
Programs", <Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 1, pp. 232-239, September 1975.

⊗Green, Cordell, and Barstow, David, "Some Rules for the Automatic
Synthesis of Programs", <Advance Papers of the Fourth International Joint
Conference on Artificial Intelligence>, Volume 1, Artificial Intelligence
Laboratory, Massachusetts Institute of Technology, Cambridge,
Massachusetts, September 1975, pages 232-239.

⊗Green, Cordell, "The Design of the PSI Program Synthesis System",
<Proc. 2nd Int. Conf. on Software Engineering>,
IEEE Computer Society, Long Beach, California, October 1976.

⊗Green, Cordell, "The PSI Program Synthesis System, 1976", <ACM '76:  Proceedings
of the Annual Conference>, Association for Computing
Machinery, New York, New York, October 1976, pages 74-75.

⊗Green, C. C., and Barstow, D. R., "A Hypothetical Dialogue Exhibiting a
Knowledge Base for a Program Understanding System", in Elcock, E. W., and
Michie, D., editors, <Machine Intelligence 8:  Machine Representations of
Knowledge>, Ellis Horwood, Ltd., and John Wiley and Sons, Inc., New York,
New York, 1976.

⊗Green, C. C., "A Summary of the PSI Program Synthesis System",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Harvey, Brian, "Increasing Programmer Power at Stanford with Display
Terminals", <Minutes of the DECsystem-10 Spring-75 DECUS Meeting>, Digital
Equipment Computer Users Society, Maynard, Mass., 1975.

⊗Hieronymus, J. L., N. J. Miller, A. L. Samuel, "The Amanuensis Speech
Recognition System", <Proc. IEEE Symposium on Speech Recognition>, April 1974.

⊗Hieronymus, J. L., "Pitch Synchronous Acoustic Segmentation", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Hilf, Franklin, "Use of Computer Assistance in Enhancing Dialog Based
Social Welfare, Public Health, and Educational Services in Developing
Countries", <Proc. 2nd Jerusalem Conf. on Info. Technology>, July 1974.

⊗Hilf, Franklin, "Dynamic Content Analysis", <Archives of General Psychiatry,>
January 1975.

⊗Hueckel, Manfred H., "A Local Visual Operator which Recognizes
Edges and Lines", <J. ACM>, October 1973.

⊗Igarashi, S., R. L. London, D. C. Luckham, "Automatic Program Verification I:
Logical Basis and its Implementation", <Acta Informatica,>, Vol. 4, pp.145-182,
March 1975.

⊗Ishida, Tatsuzo, "Force Control in Coordination of Two Arms",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Kant, Elaine, "The Selection of Efficient Implementations for a High-level Language",
<Proc. SIGART-SIGPLAN Symp. on A.I. & Prog. Lang.>, August 1977.

⊗Karp, Richard A., David C Luckham, "Verification of Fairness in an Implementation
of Monitors", <Proc. 2nd Intnl. Conf. on Software Engineering>, PP. 40-46,
October 1976.

⊗Katz, Shmuel, Zohar Manna, "A Heuristic Approach to Program
Verification", <Proc. Third Int. Joint
Conf. on Artificial Intelligence>, Stanford University, pp. 500-512, August 1973.

⊗Katz, Shmuel, Zohar Manna, "Towards Automatic Debugging of Programs",
<Proc. Int. Conf. on Reliable Software,> Los Angeles, April 1975.

⊗Katz, Shmuel, Zohar Manna, "Logical Analysis of Programs", <Comm. ACM>, Vol. 19,
No. 4, pp. 188-206, April 1976.

⊗Katz, Shmuel, Zohar Manna, "A Closer Look at Termination", <Acta Informatica>,
Vol. 5, pp. 333-352, April 1977.

⊗Lenat, Douglas B., "BEINGS: Knowledge as Interacting Experts",
<Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 1, pp. 126-133, September 1975.

⊗Luckham, David C., "Automatic Problem Solving", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Luckham, David C., Jack R. Buchanan, "Automatic Generation of
Programs Containing Conditional Statements", <Proc. AISB Summer
Conference>, U. Sussex, July 1974.

⊗Luckham, David C., Nori Suzuki,
"Proof of Termination within a Weak Logic of Programs",
<Acta Informatica>, Vol 8, No. 1, pp. 21-36, March 1977.

⊗Luckham, David C., "Program Verification and Verification-oriented Programming",
<Proc. I.F.I.P. Congress '77>, August 1977.

⊗Manna, Zohar, "Program Schemas", in <Currents in the Theory of
Computing> (A. V. Aho, Ed.), Prentice-Hall, Englewood Cliffs, N.
J., 1973.

⊗Manna, Zohar, Stephen Ness, Jean Vuillemin, "Inductive Methods for
Proving Properties of Programs", <Comm. ACM>, Vol. 16, No. 8, pp. 491-502,
August 1973.

⊗Manna, Zohar, "Automatic Programming", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Manna, Zohar, <Mathematical Theory of Computation>, McGraw-Hill, New
York, 1974.

⊗Manna, Zohar, Amir Pneuli, "Axiomatic Approach to Total Correctness",
<Acta Informatica>, Vol. 3, pp. 243-263, 1974.

⊗Manna, Zohar, Richard Waldinger, "Knowledge and Reasoning in Program
Synthesis", <Artificial Intelligence>, Vol. 6, pp. 175-208, 1975.

⊗Manna, Zohar, Adi Shamir, "The Theoretical Aspects of the Optimal Fixpoint",
<SIAM Journal of Computing>, Vol. 5, No. 3, pp.414-426, September 1976.

⊗Manna, Zohar, Richard Waldinger, "The Automatic Synthesis of
Recursive Programs", <Proc. SIGART-SIGPLAN Symp. on A.I. & Prog. Lang.>, August 1977.

⊗Manna, Zohar, Richard Waldinger, "The Automatic Synthesis of Systems of
Recursive Programs", <Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Manna, Zohar, Adi Shamir, "The Optimal-Fixpoint Approach to Recursive Programs",
<Comm. ACM,> Vol. 20, No. 11, pp. 824-831, November 1977.

⊗Manna, Zohar, Richard Waldinger, (eds.), <Studies in Automatic Programming Logic,>
American Elsevier, New York, NY, 1977.

⊗Manna, Zohar, Richard Waldinger, "Is `Sometime' sometimes better than `Always'?
Intermittant Assertions in Proving Program Correctness",
<Comm. ACM,> Vol. 21, No. 2, pp. 159-172, February 1978.

⊗Manna, Zohar, Adi Shamir, "The Convergence of Functions to Fixpoints of Recursive
Definitions", <Theoretical Conputer Science J.,> Vol. 6, pp. 109-141, March 1978.

⊗Manna, Zohar, Richard Waldinger, "The Logic of Computer Programming",
<IEEE Trans. Software Eng.>, Vol. SE-4, No. 5, pp. 199-224, May 1978.

⊗Manna, Zohar, Richard Waldinger, "The Synthesis of Structure-changing Programs",
<Proc. 3rd Int. Conf. on Software Eng.>, Atlanta, GA, May 1978.

⊗Manna, Zohar, Richard Waldinger, "The DEDALUS System", <Proc. National Computer
Conf.,> Anaheim, CA, June 1978.

⊗McCarthy, John, "Mechanical Servants for Mankind", <Britannica Yearbook of
Science and the Future>, 1973.

⊗McCarthy, John, Book Review: "Artificial Intelligence: A General Survey"
by Sir James Lighthill, <Artificial Intelligence>, Vol. 5, No. 3, Fall 1974.

⊗McCarthy, John, "Modeling Our Minds" <Science Year 1975>, The World Book Science
Annual, Field Enterprises Educational Corporation, Chicago, 1974.

⊗McCarthy, John, "Proposed Criterion for a Cipher to be Probable-word-proof",
<Comm. ACM>, February 1975.

⊗McCarthy, John, "An Unreasonable Book", a review of <Computer Power and
Human Reason> by Joseph Weizenbaum (W.H. Freeman and Co., San Francisco,
1976), <SIGART Newsletter> #58, June 1976.

⊗McCarthy, John, Review: <Computer Power and Human Reason>, by Joseph
Weizenbaum (W.H.  Freeman and Co., San Francisco, 1976) in <Physics
Today>, 1977.

⊗McCarthy, John, "Another SAMEFRINGE", <SIGART Newsletter> No. 61, February 1977.

⊗McCarthy, John, "The Home Information Terminal", <The Grolier Encyclopedia>,
1977.

⊗McCarthy, John, M. Sato, T. Hayashi, S. Igarashi, "On the Model Theory of Knowledge",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗McCarthy, John, "Epistemological Problems of Artificial Intelligence",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗McCarthy, John, "History of LISP",
<Proc. ACM Conf. on History of Programming Languages,> 1978.

⊗McCarthy, John, "Representation of Recursive Programs in First Order Logic",
<Proc. Int. Conf. on Mathematical Studies of Information
Processing,>  Kyoto Japan, 1978.

⊗McCarthy, John, "Ascribing Mental Qualities to Machines",
<Philosophical Perspectives in Artificial Intelligence,> Martin Ringle (ed.),
Humanities Press, to appear 1978.

⊗McCune, Brian, "The PSI Program Model Builder: Synthesis of Very High-level Programs",
<Proc. SIGART-SIGPLAN Symp. on A.I. & Prog. Lang.>, August 1977.

⊗Miller, N. J., "Pitch Detection by Data Reduction", <Proc. IEEE
Symposium on Speech Recognition>, April 1974.

⊗Moore, Robert C., "Reasoning about Knowledge and Action",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Moorer, James A., "The Optimum Comb Method of Pitch Period Analysis
of Continuous Speech", <IEEE Trans. Acoustics, Speech, and Signal
Processing>, Vol. ASSP-22, No. 5, October 1974.

⊗Moorer, James A., "On the Transcription of Musical Sound by Computer",
<USA-JAPAN Computer Conference>, August 1975.

⊗Morales, Jorge J., "Interactive Theorem Proving", <Proc. ACM
National Conference>, August 1973.

⊗Moravec, Hans, "Towards Automatic Visual Obstacle Avoidance",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Moravec, Hans, "A Non-synchronous Orbital Skyhook",
<J. Astronautical Sciences>, Vol 26, No. 1, 1978.

⊗Nelson, C. G., Oppen, D. C.,
"Fast Decision Algorithms based on UNION and FIND",
<Proc. 18th Annual IEEE Symposium on Foundations of Computer
Science>, October 1977.

⊗Nelson, C. G., Derek Oppen,
"A Simplifier based on Fast Decision Algorithms",
<Proc. Fifth ACM Symposium on Principles of Programming
Languages>, January 1978.

⊗Nevatia, Ramakant, Thomas O. Binford, "Structured Descriptions
of Complex Objects", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Nevatia, R., T.O. Binford; "Structured Descriptions of
Complex Objects"; <Artificial Intelligence,> 1977.

⊗Newell, A., Cooper, F.
S., Forgie, J. W., Green, C. C., Klatt, D. H., Medress, M. F., Neuburg, E.
P., O'Malley, M. H., Reddy, D. R., Ritea, B., Shoup, J. E., Walker, D. E.,
and Woods, W. A., <Considerations for a Follow-On ARPA Research Program
for Speech Understanding Systems>, Information Processing Techniques
Office, Advanced Research Projects Agency, Department of Defense,
Arlington, Virginia, August 1975.

⊗Oppen, Derek, S.A. Cook, "Proving Assertions about Programs that Manipulate
Data Structures", <Acta Informatica>, Vol. 4, No. 2, pp. 127-144, 1975.

⊗Oppen, Derek C.,
"Reasoning about Recursive Data Structures",
<Proc. Fifth ACM Symposium on Principles of Programming Languages>,
January 1978.

⊗Oppen, Derek C.,
"A Superexponential Bound on the Complexity of Presburger Arithmetic",
<Journal of Computer and Systems Sciences>, June 1978.

⊗Phillips, Jorge, T. H. Bredt, "Design and Verification of Real-time Systems",
<Proc. 2nd Int. Conf. on Software Engineering>,
IEEE Computer Society, Long Beach, California, October 1976.

⊗Phillips, Jorge, "Program Inference from Traces using Multiple Knowledge Sources",
<Proc. Int. Joint Conf. on A.I.>, August 1977.

⊗Phillips, Jorge V., "LISP and Its Semantics",
<Comunicaciones Tecnicas> (in Spanish), Blue Series:  monographs, Center for
Research in Applied Mathematics and Systems, National University of
Mexico, Mexico City, Mexico, June 1978.

Phillips, Jorge V., "Abstract Programming",
<Colombia Electronica> (in Spanish), Volume IV-2 1979, Apartado Aereo 1825, Bogota,
Colombia, June 1979.

⊗Quam, Lynn, Robert Tucker, Botond Eross, J. Veverka and Carl
Sagan, "Mariner 9 Picture Differencing at Stanford", <Sky and
Telescope>, August 1973.

⊗Rubin, Jeff, "Computer Communication via the Dial-up Network",
<Minutes of the DECsystem-10 Spring-75 DECUS Meeting>, Digital
Equipment Computer Users Society, Maynard, Mass., 1975.

⊗Sagan, Carl, J. Veverka, P. Fox, R. Dubisch, R. French, P. Gierasch,
L. Quam, J. Lederberg, E. Levinthal, R. Tucker, B. Eross, J. Pollack,
"Variable Features on Mars II: Mariner 9 Global Results", <J.
Geophys. Res.>, 78, 4163-4196, 1973.

⊗Samet, Hanan, "Proving the Correctness of Heuristically Optimized Code",
<Comm. ACM>, July 1978.

⊗Schank, Roger C., Neil Goldman, Charles J. Rieger III, Chris
Riesbeck, "MARGIE: Memory, Analysis, Response Generation and
Inference on English", <Proceedings of the Third International Joint
Conference on Artificial Intelligence>, Stanford University, August
1973.

⊗Schank, Roger C., Kenneth Colby (eds), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Schank, Roger, "The Conceptual Analysis of Natural Language", in R.
Rustin (ed.), <Natural Language Processing>, Algorithmics Press, New
York, 1973. 

⊗Schank, Roger, Charles J. Rieger III, "Inference and Computer Understanding
of Natural Language", <Artificial Intelligence J.>, Vol.5, No. 4, Winter
1974.

⊗Schank, Roger C., Neil M. Goldman, Charles J. Rieger III, Christopher K.
Riesbeck, "Interface and Paraphrase by Computer", <J. ACM,> Vol 22, No. 3,
July 1975.

⊗Shaw, David E., William R. Swartout, C. Cordell Green, "Inferring LISP
Programs from Examples", <Adv. Papers of 4th Int. Joint Conference on Artificial
Intelligence,> Vol. 1, pp. 260-267, September 1975.

⊗Shortliffe, Edward H., Davis, Randall, Axline, Stanton G., Buchanan, Bruce
G., Green, C. Cordell, and Cohen, Stanley N., "Computer-Based
Consultations in Clinical Therapeutics:  Explanation and Rule Acquisition
Capabilities of the MYCIN System", <Computers and Biomedical Research>,
Volume 8, Number 3, June 1975, pages 303-320.

⊗Smith, David Canfield, Horace J. Enea, "Backtracking in
MLISP2", <Proceedings of the Third International Joint Conference on
Artificial Intelligence>, Stanford University, August 1973.

⊗Smith, Leland, "Editing and Printing Music by Computer", <J. Music
Theory>, Fall 1973.

⊗Sobel, Irwin, "On Calibrating Computer Controlled Cameras for
Perceiving 3-D Scenes", <Proc. Third Int. Joint Conf. on Artificial
Intelligence>, Stanford U., 1973; also in Artificial Intelligence J.,
Vol. 5, No. 2, Summer 1974.

⊗Suzuki, N., "Verifying Programs by Algebraic and Logical Reduction",
<Proc. Int. Conf. on Reliable Software>, Los Angeles, Calif., April 1975,
in <ACM SIGPLAN Notices>, Vol. 10, No. 6, pp. 473-481, June 1975.

⊗Tesler, Lawrence G., Horace J. Enea, David C. Smith, "The
LISP70 Pattern Matching System", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Thomas, Arthur J., "Puccetti on Machine Pattern Recognition",
<Brit.J.Philosophy of Science,> 26:227-232, 1975.

⊗Veverka, J., Carl Sagan, Lynn Quam, R. Tucker, B. Eross, "Variable
Features on Mars III: Comparison of Mariner 1969 and Mariner 1971
Photography", <Icarus>, 21, 317-368, 1974.

⊗von Henke, F. W., D.C. Luckham, "A Methodology for Verifying Programs",
<Proc. Int. Conf. on Reliable Software>, Los Angeles, Calif., April 1975,
in <ACM SIGPLAN Notices>, Vol. 10, No. 6, pp. 156-164, June 1975.

⊗Wilks, Yorick, "The Stanford Machine Translation and Understanding
Project", in R. Rustin (ed.), <Natural Language Processing>,
Algorithmics Press, New York, 1973. 

⊗Wilks, Yorick, "Understanding Without Proofs", <Proceedings of the
Third International Joint Conference on Artificial Intelligence>,
Stanford University, August 1973.

⊗Wilks, Yorick, Annette Herskovits, "An Intelligent Analyser and
Generator of Natural Language", <Proc. Int. Conf. on Computational
Linguistics>, Pisa, Italy, <Proceedings of the Third Internation
Joint Conference on Artificial Intelligence>, Stanford University,
August 1973.

⊗Wilks, Yorick, "The Computer Analysis of Philosophical Arguments",
<CIRPHO>, Vol. 1, No. 1, September 1973

⊗Wilks, Yorick, "An Artificial Intelligence Approach to Machine
Translation", in Schank and Colby (eds.), <Computer Models of Thought
and Language>, W. H. Freeman, San Francisco, 1973.

⊗Wilks, Yorick, "One Small Head -- Models and Theories in Linguistics",
<Foundations of Language>, Vol. 10, No. 1, January 1974.

⊗Wilks, Yorick, "Preference Semantics", E. Keenan (ed.), <Proc. 1973
Colloquium on Formal Semantics of Natural Language>, Cambridge, U.K.,
1974.

⊗Wilks, Yorick, "The XGP Computer-driven Printer at Stanford", <Bulletin
of Assoc. for Literary and Linguistic Computing,>, Vol. 2, No. 2, Summer 1974.

⊗Wilks, Y., "Semantic Procedures and Information", in <Studies in the
Foundations of Communication>, R. Posner (ed.), Springer, Berlin,
forthcoming.

⊗Wilks, Yorick, "A Preferential, Pattern-Seeking Semantics for Natural
Language Inference", <Artificial Intelligence J.,> Vol. 6, No. 1, Spring 1975.

⊗Wilks, Y., "An Intelligent Analyser and Understander of English",
<Comm. ACM,> May 1975.

⊗Winograd, Terry, "A Process Model of Language Understanding", 
in Schank and Colby (eds.), <Computer Models of Thought and Language>,
W. H. Freeman, San Francisco, 1973.

⊗Winograd, Terry, "The Processes of Language Understanding" in
Benthall, (ed.), <The Limits of Human Nature>, Allen Lane, London, 1973.

⊗Winograd, Terry, "Language and the Nature of Intelligence," in G.J.
Dalenoort (ed.), <Process Models for Psychology>, Rotterdam Univ.
Press, 1973

⊗Winograd, Terry, "Breaking the Complexity Barrier (again)", <Proc.
SIGPLAN-SIGIR Interface Meeting>, 1973; <ACM SIGPLAN Notices,> 10:1, pp. 13-30,
January 1975.

⊗Winograd, Terry, "Artificial Intelligence -- When Will Computers
Understand People?", <Psychology Today>, May 1974.

⊗Winograd, Terry, "Frame Representations and the Procedural -
Declarative Controversy", in D. Bobrow and A. Collins, eds.,
<Representation and Understanding: Studies in Cognitive Science,>
Academic Press, 1975.

⊗Winograd, Terry, "Reactive Systems", <Coevolution Quarterly,>
September 1975

⊗Winograd, Terry, "Parsing Natural Language via Recursive Transition Net",
in Raymond Yeh (ed.) <Applied Computation Theory>, Prentice-Hall, 1976.

⊗Winograd, Terry, "Computer Memories -- a Metaphor for Human Memory",
in Charles Cofer (ed.), <Models of Human Memory,> Freeman, 1976.

⊗Yakimovsky, Yoram, Jerome A. Feldman, "A Semantics-Based
Decision Theoretic Region Analyzer", <Proceedings of the Third
International Joint Conference on Artificial Intelligence>, Stanford
University, August 1973.

⊗Yolks, Warwick, "There's Always Room at the Top, or How Frames gave
my Life Meaning", <SIGART Newsletter,> No. 53, August 1975.

.end "pubs"